the myth of multitasking and other things i learned today
lollar.bearblog.dev·6h
Stanford CS 224N | Natural Language Processing with Deep Learning
web.stanford.edu·1d
From Zero to QED: An informal introduction to formality in Lean 4
sdiehl.github.io·1d
PhD Thesis An INFORMATION THEORETIC APPROACH TO THE EXPRESSIVENESS OF PROGRAMMING LANGUAGES by Joseph Ray Davidson July 2015
macs.hw.ac.uk·3d
C Right-Left Rule (Rick Ord's CSE 30
cseweb.ucsd.edu·1d
Introducing Pkl, a programming language for configuration
pkl-lang.org·5h
Friendly Little Wrapper Types — Sympolymathesy, by Chris Krycho
v5.chriskrycho.com·2h
Cheney on the M.T.A.
plover.com·2d
Loading...Loading more...